The Dramatic True Story of the Frame Default
نویسنده
چکیده
This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.
منابع مشابه
Damped DQE Model Updating of a Three-Story Frame Using Experimental Data
In this paper, following a two-stage methodology, the differential quadrature element (DQE) model of a three-story frame structure is updated for the vibration analysis. In the first stage, the mass and stiffness matrices are updated using the experimental natural frequencies. Then, having the updated mass and stiffness matrices, the structural damping matrix is updated to minimize the error be...
متن کاملUnderstanding a Story With Causal Relationships
In our previous work (e.g., 4], 5], 6], 7]), we have formalized the story understanding process based on scripts and plans with stepwise default theories. While those theories ooer nal results for understanding a speciic story, they do not provide the history of changes of partial states of any objects the story may concern. Moreover, the causal models for missing events are incomplete in scrip...
متن کاملبررسی آزمایشگاهی عملکرد میان قاب های مصالح بنایی در قاب های بتنی
An experimental study is conducted on three ½ scales, single-story, single-bay, frame specimens. The first specimen was a reinforced concrete frame with solid-brick infill. The second specimen was a reinforced concrete frame with hollow clay perforated-brick infill. The last specimen was a reinforced concrete frame without any infill. These three specimens were tested by pseudostatic method. Di...
متن کاملInfluence of Real Ground Motion Records in Performance Assessment of RC Buildings
Reinforced concrete frame buildings with Open Ground Story (OGS) are one of the most common building configurations in urban habitat. These configurations are known to be vulnerable to seismic excitations, primarily due to the sudden loss in strength in the ground story and differential stiffness distribution throughout the structure. The differential stiffness distribution is attributed primar...
متن کاملTHREE SCHEMES FOR ACTIVE CONTROL OF THE PLANAR FRAME
Optimal locations of the actuators for frame active control are investigated in this article. The aim is to minimize the structural drifts by employing several actuators. By utilizing genetic algorithm, the appropriate locations of the actuators are determined. They should be placed in locations where they can minimize the maximum structural drift. To explore the capability of the proposed tech...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Philosophical Logic
دوره 44 شماره
صفحات -
تاریخ انتشار 2015